Logicians Who Reason About Themselves
نویسنده
چکیده
By treating belief as a modality and combining this with problems about constant truth tel lers and constant l iars (knights and knaves) we obtain some curious epistemic counterparts of undecidability results in metamathematics. Godel's second theorem gets reflected in a logician who cannot believe in his own consistency without becoming inconsistent. Lob's theorem reflects i t se l f in a variety of beliefs which of their own nature are necessarily se l f f u l f i l l i ng .
منابع مشابه
Battle of the Logics
A concern of the organizers of the workshop on ‘Games, Action and Social Software’ is that although everyone is keen to use logic for the analysis of key concepts in this area, it is not so clear which logic or which tools from logic to use for investigating games, actions and social software. For this reason, they have organized a discussion session on the theme “Battle of the Logics: Temporal...
متن کاملStrategic reasoning in compositional games
The central innovation introduced by game theory is its strategic dimension. A player’s environment is not neutral, and she expects that other players will try to out-guess her plans. Reasoning about such expectations and strategizing one’s own response accordingly constitutes the main logical challenge of game theory. Evaluation games have been long used by logicians to define the semantics of...
متن کاملLogic and Reasoning: do the facts matter?
1 Drawing borders Logic arose in Antiquity from two sources: the study of real argumentation in the dialectical tradition, and that of axiom-based proof patterns organizing scientific inquiry. Over the centuries that followed, the discipline turned abstract and eventually, profoundly mathematical. Is logic still about human reasoning? Or is it, as Kant and Bolzano said, about an abstraction in ...
متن کاملOn the Synthesis of Disjunctive Inferences of Reason
The transcendental Logic of disjunctive synthesis presents one of the more subtle fine points in Kant's Critical system. Kant's own lectures on the subject appearing in Logik can be difficult to follow owing to Kant's annoying habit of not identifying, much less defining, many of his key technical terms. Compounding the problem for the English-speaking world is the fact that English translation...
متن کاملEditorial: An Undergraduate Degree in Practical Reasoning
Logic as a single, unified academic discipline does not exist today. To be a logician today, you need to train as a mathematician, philosopher or computer scientist. Not only will you need to master topics that might be peripheral to your main area of interest, but you will have less and less in common with fellow logicians working in other disciplines. Eventually you may even lose touch with t...
متن کامل